panama canal history